home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / sbprolog / amiga / v3_1 / sbp3_1e.lzh / GEO.PL < prev    next >
Text File  |  1991-10-31  |  861b  |  22 lines
  1. /* From the book PROLOG PROGRAMMING IN DEPTH
  2.    by Michael A. Covington, Donald Nute, and Andre Vellino.
  3.    Copyright 1988 Scott, Foresman & Co.
  4.    Non-commercial distribution of this file is permitted. */
  5.  
  6. /* GEO.PL */
  7. /* Sample geographical knowledge base */
  8.  
  9. /* Clause 1 */  located_in(atlanta,georgia).
  10. /* Clause 2 */  located_in(houston,texas).
  11. /* Clause 3 */  located_in(austin,texas).
  12. /* Clause 4 */  located_in(toronto,ontario).
  13. /* Clause 5 */  located_in(X,usa) :- located_in(X,georgia).
  14. /* Clause 6 */  located_in(X,usa) :- located_in(X,texas).
  15. /* Clause 7 */  located_in(X,canada) :-
  16.                                    located_in(X,ontario).
  17. /* Clause 8 */  located_in(X,north_america) :-
  18.                                    located_in(X,usa).
  19. /* Clause 9 */  located_in(X,north_america) :-
  20.                                    located_in(X,canada).
  21.  
  22.